It's About Time: Real-Time Logics Reviewed
نویسنده
چکیده
We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checking linear temporal formulas with timing constraints. In particular, we nd that a great deal of real-time veri cation can be performed in polynomial space, but also that considerable care must be exercised in order to keep the real-time veri cation problem in polynomial space, or even decidable.
منابع مشابه
Many-valued logics 2 - automated reasoning and practical applications
many valued logics 2 automated reasoning and practical applications What to say and what to do when mostly your friends love reading? Are you the one that don't have such hobby? So, it's important for you to start having that hobby. You know, reading is not the force. We're sure that reading will lead you to join in better concept of life. Reading will be a positive activity to do every time. A...
متن کاملReal - time Logics : Complexity and Expressiveness yRajeev
The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To study temporal logics that are suitable for reasoning about real-time systems, we combine this classical theory of innnite state sequences with a theory of discrete time, via a monotonic function that maps every state to its time. The resulting theory of timed state seque...
متن کاملReal-time Logics: Complexity and Expressiveness y
The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To study temporal logics that are suitable for reasoning about real-time systems, we combine this classical theory of in nite state sequences with a theory of discrete time, via a monotonic function that maps every state to its time. The resulting theory of timed state seque...
متن کاملReal-time and Probabilistic Temporal Logics: An Overview
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for the formal specification of real-time and complex systems, an up to date comprehensive analysis of these logics does not exist in the lit...
متن کاملToward Customized Care; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
Patients want their personal needs to be taken into account. Accordingly, the management of care has long involved some degree of personalization. In recent times, patients’ wishes have become more pressing in a moving context. As the population ages, the number of patients requiring sophisticated combinations of longterm care is rising. Moreover, we are witnessing previously unvoiced demands, ...
متن کامل